Developing Tools for Networks of Processors
نویسندگان
چکیده
منابع مشابه
developing a pattern based on speech acts and language functions for developing materials for the course “ the study of islamic texts translation”
هدف پژوهش حاضر ارائه ی الگویی بر اساس کنش گفتار و کارکرد زبان برای تدوین مطالب درس "بررسی آثار ترجمه شده ی اسلامی" می باشد. در الگوی جدید، جهت تدوین مطالب بهتر و جذاب تر، بر خلاف کتاب-های موجود، از مدل های سطوح گفتارِ آستین (1962)، گروه بندی عملکردهای گفتارِ سرل (1976) و کارکرد زبانیِ هالیدی (1978) بهره جسته شده است. برای این منظور، 57 آیه ی شریفه، به صورت تصادفی از بخش-های مختلف قرآن انتخاب گردید...
15 صفحه اولDeveloping Tools for Formal Methods
Formal methods are based on rigorous mathematical notations, which aim to describe systems in the early stages of software development. Such formal descriptions are useful to precisely specify a system’s data and/or control, and as a consequence to verify whether certain properties are true as well as to test whether the final product meets the initial description. All of these stages are cruci...
متن کاملTools for Generation of Natural Inflected Language Processors
Supporting multiple languages and natural language processing are of high importance in information systems. This paper discusses software tools for the generation of languages processors (LPs) for the natural inflected languages. The tools are implemented in the LP generator DUAL, which allows for formal specification and reusability of developed components. The declarative language Dual is us...
متن کاملAlgorithmic Techniques for Networks of Processors
This chapter is concerned with designing algorithms for machines constructed from multiple processors. In particular, we discuss algorithms for machines in which the processors are connected to each other by some simple, systematic, interconnection pattern. For example, consider a chess board, where each square represents a processor (for example, a processor similar to one in a home computer) ...
متن کاملDistributing Automata for Asynchronous Networks of Processors
This paper addresses the problem of distributed program synthesis. In the rst part, we formalize the distribution process and prove its correctness, i.e. that the initial centralized program's behavior is equivalent to the corresponding distributed's one. In order to achieve that, we rst represent the program by a nite transition system, labeled by the program's actions. Then we derive an indep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Triangle
سال: 2018
ISSN: 2013-939X
DOI: 10.17345/triangle7.25-59